xen: Install arch-arm directory headers
authorJulien Grall <julien.grall@linaro.org>
Tue, 8 Jul 2014 17:04:48 +0000 (18:04 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 10 Jul 2014 10:20:08 +0000 (11:20 +0100)
commitf224b60791b539df66c1fe89d7866170653428b6
tree8f24988ed3154f6184a5f8eca66cfa31bc909c29
parent02004df07a497ea5a45f17ac72b22f307d79a669
xen: Install arch-arm directory headers

Some headers for ARM are not installed on the host. This may make external
software relying on Xen headers failed to compile on ARM.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
tools/include/Makefile